#include <stdio.h>

int main(int argc, char const *argv[])
{
    int a, b, c;
    fscanf(stdin, "%d %d %d", &a, &b, &c);
    fprintf(stdout, "first: %d\nsecond: %d\nthird: %d\n", a, b, c);
    return 0;
}
